Un dispositif bien encadré

Algèbres de réalisabilité: un programme pour bien ordonner R

Le principal problème, pour transformer les preuves mathématiques en programmes, est naturellement posé par les axiomes : en effet, on sait depuis longtemps comment traiter une preuve en logique intuitionniste pure (i.e. sans axiome), y compris au second ordre [2, 7, 4]. Le premier de ces axiomes est le tiers exclu, et il paraissait insurmontable. La solution, tout à fait surprenante, a été don...

Apprentissage collectif et évaluation dans le cadre du dispositif expérimental des « Cellules Bien-être » en Fédération Wallonie-Bruxelles (Belgique)

RÉSUMÉ. En mars 2011, un dispositif pilote de promotion de la santé à l’école baptisé « Cellule Bien-être » (CBE) est promu simultanément par les Ministères de l’Enseignement, de la Santé et de la Jeunesse de la Fédération WallonieBruxelles de Belgique. L’évaluation de ce dispositif est menée par l’APES-ULg. L’objectif est de dégager des pistes permettant la dissémination de ce type de démarche...

Dispositif de supervision pour les tuteurs impliqués dans un apprentissage à la gestion de projets

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

El Bien Moral

Biblio Bien vieillir nov 2006